- упорядоченная логика
- order logic мат.
Русско-английский научно-технический словарь Масловского. 2015.
упорядоченная логика
Look at other dictionaries:
Логика отношений — раздел логики (См. Логика), посвященный изучению отношений между объектами различной природы. В естественных языках отношения выражаются сказуемыми предложений, имеющих более одного подлежащего (или подлежащее и одно или несколько… … Большая советская энциклопедия
НАУКА — особый вид познавательной деятельности, направленный на выработку объективных, системно организованных и обоснованных знаний о мире. Взаимодействует с др. видами познавательной деятельности: обыденным, художественным, религиозным, мифологическим … Философская энциклопедия
СТОИЦИЗМ — СТОИЦИЗМ учение одной из наиболее влиятельных философских школ Античности, основанной ок. 300 до н. э. Зеноном изКития; название «Стоя» происходит от названия «Расписного Портика» (Στοὰ Ποικίλη) в Афинах, где преподавал Зенон.… … Античная философия
Стереометрическая семантика — трактовка логики как науки о получении истинных следствий из истинных посылок все более уступает место более широкой концепции,связанной либо с обобщением понятия следования, основанного на традиционной истинностной оценке и на практических… … Проективный философский словарь
ДЕРЕВО — фундаментальный культурный символ, репрезентирующий вертикальную модель мира, семантически фундированную идеей бинарных оппозиций (как космологически, так и аксиологически артикулированных). В традиционной культуре выступает основополагающим… … История Философии: Энциклопедия
Множество — У этого термина существуют и другие значения, см. Множество (значения). Запрос «Целое» перенаправляется сюда; о типе данных в программировании см. Целое (тип данных). Множество одно из ключевых понятий математики, в частности, теории… … Википедия
ДЕРЕВО — фундаментальный культурный символ, репрезентирующий вертикальную модель мира, семантически фундированную идеей бинарных оппозиций (как космологически, так и аксиологически артикулированных). В традиционной культуре выступает основополагающим… … История Философии: Энциклопедия
ВОЗМОЖНЫХ МИРОВ СЕМАНТИКА — ВОЗМОЖНЫХ МИРОВ СЕМАНТИКА метод логического анализа модальных и интенсиональных понятий, основу которого составляет рассмотрение мыслимых положений дел (идеальных альтернатив, описаний состояний, точек соотнесения). Дунс Скот (1265 1308)… … Философская энциклопедия
ОТНОШЕНИЕ — в логике то, что в отличие от свойства характеризует не отдельный предмет, а пару, тройку и т.д. предметов. Традиционная логика не рассматривала О.; в современной логике О. пропозициональная функция от двух или большего числа переменных. Бинарным … Философская энциклопедия
Арифметика — Ганс Себальд Бехам. Арифметика. XVI век Арифметика (др. греч. ἀ … Википедия
Драма — Д. как поэтический род Происхождение Д. Восточная Д. Античная Д. Средневековая Д. Д. Ренессанса От Возрождения к классицизму Елизаветинская Д. Испанская Д. Классическая Д. Буржуазная Д. Ро … Литературная энциклопедия
